extensible effects

既に知っているとよいと思われる知識

モチベーション

意味論の固定

合成順の固定

同じ種類の副作用は一層までしか積めない

概要

HERP での活用方法の一例

ユースケース層を extensible effects を用いて書いている

code:haskell

-- 雰囲気です (実際のコードじゃないです)

addTalent

:: forall effs

. ( TalentIDGenerator.HasEff effs -- このユースケース内ではこういう effect を使う(使える)よ〜 という表明

, TalentRepository.HasEff effs

, Time.HasEff effs

)

=> TalentAttributes

-> Talent

addTalent attributes = do

id <- TalentIDGenerator.ask -- 実装非依存 (連番かな？UUID かな？ULID かな？)

createdAt <- Time.ask -- 実装非依存 (実行時の時刻かな？決め打ちの値かな？)

let talent = Talent { id, attributes, createdAt }

TalentRepository.store talent

return talent

こんなん HERP の他に production で使ってる会社あるんか？ｗ

GitHub

リクルートマーケティングパートナーズ

アルプ

実装

references